{ pkgs ? import <nixpkgs> {}
}:
pkgs.mkShell{
  name="dev";
  buildInputs=[
#    pkgs.git
#    pkgs.python39Full
#    pkgs.python39Packages.kconfiglib
#    pkgs.direnv
#    pkgs.verilator
#    pkgs.gcc
#    pkgs.cmake
#    pkgs.pkgconfig
#    pkgs.SDL2
#    pkgs.readline
#    pkgs.jdk11
#    pkgs.ninja
#    (pkgs.mill.override { jre = pkgs.jdk11; })
  ];
}
